155 research outputs found
Please ... . draw me a Software Engineer
The objectives of this short paper are to dream about software engineering science and to think about making this dream alive. In my dream, there are no more software engineers but senseware engineers that build physical space and time augmentations that adapt to human direct and indirect needs. Making this dream alive could be started by providing research and development directions that might make this dream a reached target. Anyhow, it is an awaken-dream which is made and it is mainly synthesized from the author\u27s experience in research and development of software engineering. Moving from today\u27s software engineering nightmare in which What You Get Is What You Get to a dreamed world in which What I Get Is What I Need needs to turn science-fiction into science-vision
A survey of petri nets slicing
Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Petri nets slicing was first developed to facilitate debugging but then used for the alleviation of the state space explosion problem for the model checking of Petri nets. In this article, different slicing techniques are studied along with their algorithms introducing: i) a classification of Petri nets slicing algorithms based on their construction methodology and objective (such as improving state space analysis or testing), ii) a qualitative and quantitative discussion and comparison of major differences such as accuracy and efficiency, iii) a syntactic unification of slicing algorithms that improve state space analysis for easy and clear understanding, and iv) applications of slicing for multiple perspectives. Furthermore, some recent improvements to slicing algorithms are presented, which can certainly reduce the slice size even for strongly connected nets. A noteworthy use of this survey is for the selection and improvement of slicing techniques for optimizing the verification of state event models
- …